Nuprl Definition : es-snds
0,22
postcript
pdf
snds(
l
;before(
e
)) == concat(map(
e
.sends(
l
;
e
);before(
e
)))
latex
clarification:
es-snds(
es
;
l
;
e
) == concat(map(
e
.es-sends(
es
;
l
;
e
);es-before(
es
;
e
)))
latex
Definitions
before(
e
)
,
sends(
l
;
e
)
,
map(
f
;
as
)
,
concat(
ll
)
,
snds(
l
;before(
e
))
FDL editor aliases
es-snds
origin
e.sends(l;e);before(e)))
e.es-sends(es; l; e);es-before(es; e))) e.sends(l;e);before(e)))
e.es-sends(es; l; e);es-before(es; e)))